Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 34 of 34 (0.213 secs)
You searched for: subject:"turing machine"
[texts]The Theory of Groups - Joseph J. Rotman
Joseph J. Rotman The Theory of Groups Allyn & Bacon Inc. 1973 Acrobat 7 Pdf 11.7 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Homomorphism; Isomorphism; Permutation; Sylow; Abelian; Group; Turing Machine
Downloads: 1,859
[texts]34
In this paper, we present a new way to simulateTuring machines using a specific form of Petri nets such thatthe resulting nets are capable of thoroughly describingbehavior of the input Turing machines. We model everyelement of a Turing machine’s tuple (i.e., Q, Γ, b, Σ, δ, q0, F) withan equivalent translation in Colored Petri net’s set of elementswith priority transitions such that the resulting translation(is a Petri net that) accepts the same language as the originalTuring machine...
Keywords: Turing machine; Colored Petri net; simulate; priority transition; time Complexity
Downloads: 14
[texts]mit :: lcs :: tm :: MIT-LCS-TM-039
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-039
Keywords: computable; polynomial; theorem; turing; computing; binary; remark; iff; expression; expressions; open problems; turing machine; computable function
Downloads: 38
[texts]mit :: ai :: aim :: AIM-033
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-033
Keywords: turing; symbol; sequence; instruction; scanning; theorem; symbols; machine; string; tag; turing machine; scanning agent; universal turing; deletion number
Downloads: 28
[texts]mit :: ai :: aim :: AIM-052
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-052
Keywords: turing; machine; tag; scanning; description; system; instantaneous; string; associated; formalism; turing machine; tag system; scanning agent; instantaneous description
Downloads: 26
[texts]Byte Magazine Volume 03 Number 12 - Life
Foreground p.14 FAST FOURIER TRANSFORMS ON YOUR HOME COMPUTER [theme Software] [author Stanley-Peterson] p.26 DESIGNING A UNIVERSAL TURING MACHINE: A Software Approach [theme Software] [author Munnecke] p.32 BUILD AN OCTAL/HEXADECIMAL OUTPUT DISPLAY [theme Hardware] [author Ciarcia] p.94 INTERFACE YOUR COMPUTER TO A PRINTING CALCULATOR [theme Hardware] [author Astmann] p.100 ZAPPER: A Computer Driven EROM Programmer [theme Hardware] [author Gable] p.128 CLOCKLESS MULTIPLICATION AND DIVISION CIRC...
Keywords: computer; byte; program; data; software; memory; december; disk; byte publications; byte december; power supply; north star; floppy disk; residents add; data set; personal computer; turing machine; dealer inquiries
Downloads: 929
[texts]BSTJ 41: 3. May 1962: On Non-Computable Functions. (Rado, T.)
Bell System Technical Journal, 41: 3. May 1962 pp 877-884. On Non-Computable Functions. (Rado, T.)
Keywords: turing; computable; entries; valid; score; entry; machine; binary; binary turing; functions; bell system; valid entry; turing machine; computable function; turing machines; busy beaver; finite set; system technical
Downloads: 35
[texts]Byte Magazine Volume 03 Number 12 - Life
A rescan for this item is available here. Foreground p.14 FAST FOURIER TRANSFORMS ON YOUR HOME COMPUTER [theme Software] [author Stanley-Peterson] p.26 DESIGNING A UNIVERSAL TURING MACHINE: A Software Approach [theme Software] [author Munnecke] p.32 BUILD AN OCTAL/HEXADECIMAL OUTPUT DISPLAY [theme Hardware] [author Ciarcia] p.94 INTERFACE YOUR COMPUTER TO A PRINTING CALCULATOR [theme Hardware] [author Astmann] p.100 ZAPPER: A Computer Driven EROM Programmer [theme Hardware] [author Gable] p.128 ...
Keywords: computer; byte; program; data; software; memory; december; disk; byte publications; byte december; power supply; north star; floppy disk; residents add; byte shop; data set; personal computer; turing machine
Downloads: 1,612
[texts]mit :: lcs :: tm :: MIT-LCS-TM-492
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-492
Keywords: pspace; random; oracle; probability; oracles; lemma; interactive; theorem; complexity; classes; interactive proof; turing machine; random oracle; complexity classes; debate systems; oracle hypothesis; checkable debate; probabilistically checkable; polynomial time
Downloads: 27
[texts]mit :: lcs :: tm :: MIT-LCS-TM-043
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-043
Keywords: theorem; exists; proof; computation; length; binary; formula; formulas; proofs; halting; turing machine; order theory; halting computation; natural numbers; decision procedure; lower bounds; binary word; real numbers; presburger arithmetic; lower bound
Downloads: 30
[texts]mit :: lcs :: tr :: MIT-LCS-TR-242
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-242
Keywords: vertices; log; turing; machine; lemma; space; simulation; worktape; simulated; pebbles; storage list; multidimensional turing; turing machine; free storage; worktape head; time complexity; tree machine; mass store; relative position; memory map
Downloads: 35
[texts]mit :: lcs :: tr :: MIT-LCS-TR-110
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-110
Keywords: recursive; functions; theorem; hierarchy; subrecursive; hierarchies; function; primitive; elementary; honesty; fur mathematische; subrecursive classes; primitive recursive; logik und; recursive functions; complexity classes; ordinal recursion; recursive function; honesty procedure; turing machine
Downloads: 23
[texts]mit :: lcs :: tr :: MIT-LCS-TR-361
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-361
Keywords: width; branching; circuit; boolean; program; programs; polynomial; circuits; complexity; input; lower bounds; lower bound; branching programs; polynomial size; branching program; word problem; turing machine; constant width; boolean circuits; complexity classes
Downloads: 42
[texts]mit :: lcs :: tm :: MIT-LCS-TM-045
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-045
Keywords: multiplication; digits; turing; lemma; multitape; algorithm; integer; log; turing machine; machine; requires time; procedural argument; multitape turing; multiplication algorithm; integer multiplication; steps required; turing machines; output digit; linear product
Downloads: 25
[texts]Creative Computing Magazine (January 1978) Volume 04 Number 01

Keywords: print; computer; program; creative; programming; computers; data; computing; corollary; memory; jan feb; auto race; creative computing; leaving leaving; square root; operating system; north star; turing machine; data processing; disk drive
Downloads: 1,271
[texts]mit :: ai :: aim :: AIM-257
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-257
Keywords: loop; counter; div; add; qed; mul; branch; instruction; function; computable; prime factor; partial recursive; counter machine; strong loops; strong loop; computable function; nonlinear growth; turing machine; entry point; output problem
Downloads: 48
[texts]xerox :: parc :: techReports :: SSL-79-8 On the Equivalence of Office Models
From the bitsavers.org collection, a scanned-in computer-related document.xerox :: parc :: techReports :: SSL-79-8 On the Equivalence of Office Models
Keywords: precedence; models; model; activity; office; processing; equivalence; algorithm; automaton; operator; polynomial time; model figure; precedence model; representationally equivalent; office models; activity sequence; turing machine; job sequencing; precedence models; work station
Downloads: 20
[texts]mit :: ai :: aim :: AIM-140
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-140
Keywords: predicate; order; linear; predicates; geometric; polynomial; invariant; theorem; unrecognizable; function; linearly unrecognizable; geometric predicates; turing machine; seymour papert; linear threshold; normal form; equivalence class; unrecognizable patterns; boolean function; equivalence classes
Downloads: 31
[texts]mit :: lcs :: tm :: MIT-LCS-TM-515
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-515
Keywords: protocol; string; encryption; independence; proof; player; random; proofs; broadcast; players; turing machine; random strings; encryption scheme; constant round; simultaneous broadcast; achieving independence; formal definition; polynomial time; random string; original paper
Downloads: 50
[texts]mit :: lcs :: tr :: MIT-LCS-TR-099
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-099
Keywords: recursive; theorem; complexity; function; comp; proof; sets; lemma; set; primitive; tentative commitment; turing machine; primitive recursive; recursive function; recursive set; recursive sets; partial recursive; relative complexity; lower bound; total running
Downloads: 22
[texts]mit :: ai :: aim :: AIM-211
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-211
Keywords: schema; schemata; sequence; theorem; execution; equivalence; recursive; finite; initial; corresponding; finite interpretation; execution sequences; turing machine; program schemata; execution sequence; initial address; finite number; equivalence problem; decision procedure; ultimately periodic
Downloads: 25
[texts]mit :: lcs :: tr :: MIT-LCS-TR-144
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-144
Keywords: lemma; theorem; define; proof; sequence; formulas; constant; formula; definition; equivalence; upper bound; lower bound; elementary recursive; decision procedure; turing machine; nonempty collection; predicate calculus; decision procedures; weak direct; equivalence class
Downloads: 32
[texts]mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
Keywords: machine; symbol; cell; boolean; symbols; holds; cells; turing; universal; scanned; active determinant; universal machine; turing machine; air force; boolean algebra; logical structure; transition diagram; universal turing; scanned symbol; active quadruple
Downloads: 23
[texts]mit :: ai :: aim :: AIM-008
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-008
Keywords: functions; defined; expression; function; expressions; combine; recursive; turing; lisp; conditional; atomic symbols; advice taker; turing machine; elementary functions; conditional expression; symbolic expressions; lisp system; linear lisp; recursive functions; recursive function
Downloads: 27
[texts]mit :: lcs :: tr :: MIT-LCS-TR-195
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-195
Keywords: length; tho; computation; theorem; iff; turing; complexity; formula; concatenation; lemma; computer science; accepting computation; turing machine; main theorem; real addition; fixed number; decision procedure; tho formula; true iff; scanning agent
Downloads: 48
[texts]mit :: ai :: aim :: AIM-894
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-894
Keywords: gpsg; complexity; atm; feature; universal; metarules; grammar; recognition; finite; computational; universal recognition; universal feature; recognition problem; input string; finite closure; current gpsg; gpsg components; computational complexity; gpsg theory; turing machine
Downloads: 34
[texts]mit :: lcs :: tm :: MIT-LCS-TM-040
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-040
Keywords: log; overlap; multiplication; turing; binary; multitape; input; bounds; values; symbol; input symbol; time complexity; multitape turing; lower bounds; lower bound; storage structure; turing machines; upper bounds; turing machine; multihead multitape
Downloads: 26
[texts]mit :: lcs :: tm :: MIT-LCS-TM-037
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-037
Keywords: floor; node; turing; simulation; storage; nodes; multidimensional; smm; arcs; head; ground floor; turing machine; turing machines; top floor; storage modification; storage plane; storage head; multidimensional turing; modification machines; massachusetts institute
Downloads: 63 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-038
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-038
Keywords: turing; polynomial; space; computation; eff; wsis; lemma; finite; machine; halts; simulation lemma; monadic second; turing machine; decision procedure; tape squares; weak monadic; nondeterministic turing; second order; order theory; eff empty
Downloads: 41
[texts]Causality, Meaningful Complexity and Embodied Cognition - A. Carsetti
Causality, Meaningful Complexity and Embodied Cognition
Keywords: causal; turing; theory; mathematical; physical; grossberg; model; brain; neurons; complexity; objective bayesian; mirror neurons; turing machine; epistemic reasons; van dalen; bayesian net; proof particle; meaningful complexity; art matching; probability function
Downloads: 119
[texts]mit :: lcs :: tm :: MIT-LCS-TM-041
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-041
Keywords: algorithm; boolean; turing; product; strings; polynomial; string; linear; symbols; stage; linear product; time proportional; running time; total time; turing machine; time spent; recursive definition; polynomial product; boolean product; science foundation
Downloads: 26
[texts]Byte Magazine Volume 00 Number 16 - Machine Readable Print
Foreground THE CYBERNETIC CRAYON p.24 [theme Graphics Systems] [author Dwyer-Sweer] p.139 [theme Portfolio of Explorations] [author Critchfield] p.30 THE BURIED GOLD IN THE SR-52 [theme Systems Programming] [author Penn] p.42 STRETCH THAT 6800 CLOCK [theme Hardware Modification] [author Henshaw] p.58 DON'T WASTE MEMORY SPACE [theme Software] [author Baker] p.77 SIGNAL PROCESSING FOR OPTICAL BAR CODE SCANNING [theme Hardware] [author Merkowitz] p.98 THE DESIGNER'S EYE VIEW OF THE AC-30 [theme Pro...
Keywords: data; computer; memory; program; byte; software; cassette; interface; kit; mov; slow memory; cassette interface; printed circuit; power supply; processor technology; computer system; low cost; turing machine; low power; computer store
Downloads: 930
[movies]tweakers / 5773 / Lego Turing-machine van het CWI
Het Centrum Wiskunde & Informatica organiseert ter gelegenheid van de honderdste geboortedag van Alan Turing een tentoonstelling. Daar is onder andere een echte Enigma-machine te zien, maar ook een werkend Lego-model van een Turing-machine die door Jeroen van den Bos en Davy Landman, wetenschappers van het CWI, is gebouwd.
Keywords: tweakers; 5773;

Het Centrum Wiskunde &; Informatica organiseert ter gelegenheid van de honderdste geboortedag van Alan Turing een tentoonstelling. Daar is onder andere een echte Enigma-machine te zien, maar ook een werkend Lego-model van een Turing-machine die door Jeroen van den Bos en Davy Landman, wetenschappers van het CWI, is gebouwd.


Downloads: 9
[audio]@PumpUpThaVolume: Episode016 - Speed Of Sound - Media Monarchy
"♫Makin' a soundtrack for another planet to hear♫" on @PumpUpThaVolume! Episode016 - Speed Of Sound is an epic episode, pre-recorded from the home studios of MediaMonarchy.com and featuring brand new #SongOfTheDay sounds from Twin Shadow, Melody Gardot, Shadows On Stars, Gold Motel, Infantree, Exitmusic, Dirty Projectors, Sean Rowe, Turing Machine, Communist Daughter, Jazzanova, All Eyes, Jimmy Cliff, Joy Wants Eternity, John Maus, Pop Etc, Yeasayer, Deep Time, Peaking Lights, Soul Asylum, T...
Keywords: @PumpUpThaVolume; Twin Shadow; Melody Gardot; Shadows On Stars; Gold Motel; Infantree; Exitmusic; Dirty Projectors; Sean Rowe; Turing Machine; Communist Daughter; Jazzanova; All Eyes; Jimmy Cliff; Joy Wants Eternity; John Maus; Pop Etc; Yeasayer; Deep Time; Peaking Lights; Soul Asylum; The Archives; Liars; Family Of The Year; Hacienda; Niki & The Dove; CLAPS; Jesse Harris; St. Paul de Vence
Downloads: 1,038
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
audio
movies